Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
181	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
182	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computing Computer programming Data types Type theory Subroutines Functional programming Lambda calculus Type system Gradual typing Anonymous function Type safety
183	Red River Basin River Watch Snow Study Summary Guide Data collected as part of the Red River Basin River Watch Snow Study include the following. Accumulation (depth) of new snowfall (inches and tenths) Total depth of ne Add to Reading List Source URL: www.iwinst.org Language: English - Date: 2012-12-04 16:32:09 Meteorology Atmospheric sciences Water Precipitation Hydrology Snow Water ice Rain gauge Community Collaborative Rain Hail and Snow Network Snow hydrology Types of snow
184	A Format String Checker for Java Konstantin Weitz Siwakorn Srisakaokul University of Washington, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-07-07 00:47:36 Computing Software engineering Computer programming Type theory Data types Cross-platform software Object-oriented programming languages C standard library Printf format string Comparison of programming languages Uncontrolled format string Type system
185	Global Energy Optimization Plugin Developer’s Guide Global Energy Optimization Power Management (GEOPM) is an extensible power management framework targeting high performance computing. The library can be extended to s Add to Reading List Source URL: geopm.github.io Language: English - Date: 2016-05-25 12:25:11 Software engineering Computer programming Programming language theory Procedural programming languages C++ Data types Const C++ classes Method ALGOL 68 D C++11
186	Introduction to Smalltalk - Chapter 10 - Streams, files, and BOSS  Ivan TomekChapter 10 - Streams, files, and BOSS Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:16 Computing Software engineering Computer programming Data types Primitive types Object-oriented programming languages Smalltalk Pointer Stream String VisualWorks Circular buffer
187	Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Software engineering Computing Computer programming Functional programming Type class Type theory Haskell features Boolean data type
188	Grundzüge der Wirtschaftsinformatik Introduction to Business Information Systems GWI-HT2009 – Unit 4: Introduction to Python (1) Univ.-Prof. Dr. Martin Hepp Professur für Allgemeine BWL, insbesondere E-Business Add to Reading List Source URL: www.ebusiness-unibw.org Language: English - Date: 2016-07-26 08:52:51 Software engineering Computing Computer programming Object-oriented programming languages Data types Notation Programming language Computer Python Data Integer
189	Fourth Coccinelle Workshop – Exercises January 26, 2011 These exercises are presented roughly in order of increasing difficulty. Often there are multiple possible solutions to the exercise, which may produce different Add to Reading List Source URL: coccinelle.lip6.fr Language: English Software engineering Computer programming Computing C Data types Procedural programming languages Struct Pointer Sizeof Typedef D Null pointer

UPDATE